Theorems on Sets Not Belonging to Algebras

Let A1, . . . ,An,An+1 be a finite sequence of algebras of sets given on a set X, ⋃n k=1Ak 6= P(X), with more than 4 3 n pairwise disjoint sets not belonging to An+1. It has been shown in the author’s previous articles that in this case ⋃n+1 k=1 Ak 6= P(X). Let us consider, instead of An+1, a finite sequence of algebras An+1, . . . ,An+l. It turns out that if for each natural i ≤ l there exist no less than 4 3 (n+ l)− l 24 pairwise disjoint sets not belonging to An+i, then ⋃n+l k=1Ak 6= P(X). Besides this result, the article contains: an essentially important theorem on a countable sequence of almost σ-algebras (the concept of almost σ-algebra was introduced by the author in 1999), a theorem on a family of algebras of arbitrary cardinality (the proof of this theorem is based on the beautiful idea of Halmos and Vaughan from their proof of the theorem on systems of distinct representatives), a new upper estimate of the function v(n) that was introduced by the author in 2002, and other new results.